<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml">

<head>
	<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
	<title>NARS: Non-Axiomatic Reasoning System</title>
	<meta name="author" content="" />
	<meta name="description" content="" />
	<meta name="keywords"  content="nars,opennars,wang" />
	<meta name="Resource-type" content="Document" />


	<link rel="stylesheet" type="text/css" href="jquery.fullPage.css" />
	<link rel="stylesheet" type="text/css" href="index.css" />

	<!--[if IE]>
		<script type="text/javascript">
			 var console = { log: function() {} };
		</script>
	<![endif]-->


	<script src="http://ajax.googleapis.com/ajax/libs/jquery/1.8.3/jquery.min.js"></script>
	<script src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.9.1/jquery-ui.min.js"></script>

	<script type="text/javascript" src="jquery.fullPage.min.js"></script>
	<script type="text/javascript">
	$(document).ready(function() {
            $('#fullpage').fullpage({
		sectionsColor: ['#f2f2f2', '#7BAABE', '#ccddff', 'whitesmoke', '#4BBFC3'],
		anchors:['main', 'theory', 'dev'],
		menu: '#menu',
                css3: true,
                autoscrolling:false,
                navigation: false,
                navigationPosition: 'right',
                slidesNavigation: false,
                slidesNavPosition: 'bottom',
                keyboardScrolling: true,
                touchSensitivity: 15,
                continuousVertical: false,
                loopBottom: true,
                loopTop: true,
                loopHorizontal: true,
                scrollingSpeed: 200
			});
		});
	</script>

</head>
<body>


<div id="fullpage">
	<div class="section active" id="_main" data-anchor="main">
            <h1>NARS<br/>Non-Axiomatic Reasoning System</h1>
	    <br/>
	    <h2>General-purpose Logic AI System</h2>
            <br/>
            <h3><a href="#theory">Learn more...</a></h3>
	    <br/><br/>
	    [<a href="https://github.com/opennars/opennars/archive/master.zip">Download</a>]
	    [<a href="http://github.com/opennars/opennars">Source code</a>]
	    [<a href="http://groups.google.com/group/open-nars">Discussion group</a>]
            [<a href="irc://freenode.net/#nars">#Nars IRC Chat </a> (<a href="http://webchat.freenode.net/?channels=nars">Web</a>)]
	</div>
	<!--
	<div class="section" id="about" data-anchor="about"><h1>What is NARS?</h1></div>
	<div class="section" id="logic"  data-anchor="logic" >
	</div>
	-->
	<div class="section" id="_theory" data-anchor="theory">
            
            <div style="text-align: right; z-index: 500; padding-top: 0.5em; padding-right: 0.5em; position: relative; clear: both">
                [<a href="Overview.html">Overview</a>]
                [<a href="https://sites.google.com/site/narswang/EBook">General Theory of Intelligence (Book)</a>]
                [<a href="NAL.html">NAL Logic</a>]
                <br/>
                [<a href="NarseseIO.html">Narsese I/O</a>]
                [<a href="http://www.cis.temple.edu/~pwang/Implementation/NAL/NAL-TruthFunctions.xls">Truth Value Functions (Spreadsheet)</a>]
            </div>
            <br/>
            <div class="slide" style="clear: both">
                <h1>NAL 7, 8, 9</h1>
                <p>
                    <h3><a href="http://www.mindmakers.org/attachments/download/300/6-Procedural.html" class="external">Procedural Knowledge & Sensorimotor Control</a> (<a href="http://www.youtube.com/watch?v=20oA0h3ZWfA&amp;list=PLZlLHCryX93L0SppIbkmYfvzlchuSNOij&amp;index=10" class="external">video</a>)</h3>
                    <ul>
                        <li>Event and temporal relation</li>
                        <li>Goal, operation, and decision making</li>
                        <li>Sensorimotor interface</li>
                        <li>Self-awareness and self-control</li>
                        <li>Summary</li>
                    </ul>
                </p>
            </div>
            <div class="slide">
                <h1>NAL 5, 6</h1>
                <p>
                    <h3><a href="http://www.mindmakers.org/attachments/download/296/5-Implication.html" class="external">Higher-order Inference</a> (<a href="http://www.youtube.com/watch?v=lXlFKhvt0p8&amp;list=PLZlLHCryX93L0SppIbkmYfvzlchuSNOij&amp;index=9" class="external">video</a>)</h3>
                    <ul>
                        <li>Symbolic reasoning</li>
                        <li>NAL as a universal meta-logic</li>
                        <li>Natural language processing</li>
                    </ul>
                </p>
                
            </div>
<!--            
            
<div class="wiki">
<p><a href="http://www.cis.temple.edu/~wangp/" class="external"><em>Pei Wang</em></a></p>


	<a name="1-Introduction-video"></a>
<h3>1. Introduction (<a href="http://www.youtube.com/watch?v=9cfL0UZiF44&amp;list=PLZlLHCryX93L0SppIbkmYfvzlchuSNOij&amp;index=1" class="external">video</a>)<a href="#1-Introduction-video" class="wiki-anchor">¶</a></h3>


	<h3><a href="http://www.cis.temple.edu/~pwang/Writing/AGI-Intro.html" class="external">1a: Introduction to AGI</a>
	<ul>
	<li>Historical development of Artificial Intelligence</li>
		<li>Defining intelligence with structure, behavior, capability, function, or principle</li>
		<li>Achieving intelligence via hybridization, integration, or unification</li>
	</ul></h3>


	<h3><a href="http://www.cis.temple.edu/~pwang/Writing/NARS-Intro.html" class="external">1b: Introduction to NARS</a>
	<ul>
	<li>The objective and strategy of NARS</li>
		<li>The logic implemented in NARS</li>
		<li>The memory and control of NARS</li>
	</ul></h3>


	<h3><a href="http://www.mindmakers.org/attachments/download/293/2-Inheritance.html" class="external">2. NAL-1: The Core Logic</a> (<a href="http://www.youtube.com/watch?v=3hhUIzlT16w&amp;list=PLZlLHCryX93L0SppIbkmYfvzlchuSNOij&amp;index=3" class="external">video</a>)
	<ul>
	<li>Term-oriented language</li>
		<li>Experience-grounded semantics</li>
		<li>Syllogistic rules</li>
	</ul></h3>


	<h3><a href="http://www.mindmakers.org/attachments/download/299/3-Control.html" class="external">3. NARS: Memory and Control</a> (<a href="http://www.youtube.com/watch?v=XQbTW4Uku7U&amp;list=PLZlLHCryX93L0SppIbkmYfvzlchuSNOij&amp;index=5" class="external">video</a>)
	<ul>
	<li>Dynamic memory</li>
		<li>Controlled concurrency</li>
		<li>Hands-on with NARS</li>
	</ul></h3>


	<h3><a href="http://www.mindmakers.org/attachments/download/295/4-Compound.html" class="external">4. NAL-2 to NAL-4: Compound Term</a> (<a href="http://www.youtube.com/watch?v=APIsKS07tXg&amp;list=PLZlLHCryX93L0SppIbkmYfvzlchuSNOij&amp;index=7" class="external">video</a>)
	<ul>
	<li>Conceptual model</li>
		<li>Knowledge representation</li>
		<li>Learning as reasoning</li>
	</ul></h3>



</div>
-->            
            <div class="slide"><h1>NAL 0</h1></div>
            <div class="slide"><h1>NAL 1</h1></div>
            <div class="slide"><h1>NAL 2</h1></div>
            <div class="slide"><h1>NAL 3</h1></div>
            <div class="slide"><h1>NAL 4</h1></div>
            
            <div class="slide"><h1>NAL 6</h1></div>

	    </ul>
	</div>
	
	<div class="section" id="_dev" data-anchor="dev">
            <div class="slide">
                <h1>OpenNARS 1.6 (New)</h1>
                <h2>Java</h2>
                [<a href="http://github.com/opennars/opennars">Source Code</a>][<a href="javadoc/">JavaDoc</a>]
            </div>
            <div class="slide">
                <h1>NAL.pl</h1>
                <h2>Prolog</h2>
                <p>
                Implements all the inference rules in NAL 1-6 (version 1.1, 2013), without memory structure and control mechanism for multiple-step inference. 
                <br/>
                The <a href="http://www.cis.temple.edu/~pwang/Implementation/NAL/nal.pl">source code</a> comes with a <a href="http://www.cis.temple.edu/~pwang/Implementation/NAL/NAL-Guide.html">user's guide</a> and <a href="http://www.cis.temple.edu/~pwang/Implementation/NAL/NAL-Examples.txt">examples</a>.
                <br/>
                The examples are tested with <a href="http://www.swi-prolog.org/" rel="nofollow">SWI-Prolog</a>.                
                <br/>                
                The following two Prolog programs show the potential of NARS in natural language processing, as described in <a href="http://www.cis.temple.edu/~pwang/Implementation/NAL/NLP-Example.doc">a simple example</a>. <a href="http://www.cis.temple.edu/~pwang/Implementation/NAL/nlp-1.pl">The first program</a> carries out grammar rule learning,
                and <a href="http://www.cis.temple.edu/~pwang/Implementation/NAL/nlp-2.pl">the second program</a> applies the rules to novel sentences.
                </p>
            </div>
            <div class="slide">
                <h1>Applied NARS</h1>
                <h2>IDE and API</h2>
                [<a href="http://www.applied-nars.com/software/narsdevelop-simple-ide">NARS Develop (IDE)</a>][<a href="http://www.applied-nars.com/software/nars-library/api-documentation">API</a>]
            </div>
            <div class="slide">
                <h1>OpenNARS</h1>
                <h2>Scala</h2>
                Under development.<br/>
                [<a href="https://github.com/opennars/opennars/tree/master/nars_scala">Source Code</a>]
            </div>
            <div class="slide">
                <h1>PyNARS</h1>
                <h2>Python</h2>                
                [<a href="https://code.google.com/p/pynars/">Source Code</a>]
            </div>
            <div class="slide">
                <h1>NARS Smalltalk</h1>
                <h2>Squeak (Smalltalk)</h2>                
                [<a href="http://nars.seasidehosting.st/">Demo</a>]
                [<a href="http://blog.summer.squeak.org/2008/05/opennars-port-to-squeak-using-seaside.html">About</a>]
            </div>
                
            
            
            <div class="slide">
                <h1>OpenNARS 1.5</h1>
                <h2>Java</h2>
                [<a href="code.google.com/p/open-nars/">Source Code</a>]
            </div>
        </div>
</div>
<ul id="menu">
    <li data-menuanchor="main" class="active"><a href="#main">NARS</a></li>
    <li data-menuanchor="theory"><a href="#theory">Theory</a></li>
    <!--
    <li data-menuanchor="about"><a href="#about">About</a></li>
    <li data-menuanchor="logic"><a href="#logic">Logic</a></li>
    -->
    <li data-menuanchor="dev"><a href="#dev">Development</a></li>
</ul>
</body>
</html>
